Fitch notation
いっちばん好きtakker.icon*5
大好きポイント
programの様に書ける
仮定の導入箇所と落とした箇所が明瞭
Tex package
これが一番新しい
KaTeXでも書けるかな？
$ \begin{array}{|c|c|ccc|}1&2&3&4&5\\\multicolumn{2} & 1&1&1 \end{array}
無理そう
syntax checkerを見つけた
面白そうtakker.icon
細部の記法のvariation
四角で囲むタイプも有る
教科書
Jon Barwise and John Etchemendy, Language, Proof and Logic 1st edition as PDF, Seven Bridges Press and CSLI, 1999. この本の自然演繹部分のメモ
述語論理の話はない
Links
この記事知らなかったtakker.icon
fitchについて最後に調べたのは2017年当たりだから知らなかった
HTMLで証明図を作っている
SVGにしてもよさそうtakker.icon